Toward generating reducible replay logs

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generating Finite Completely Reducible Linear Groups

It is proved here that each finite completely reducible linear group of dimension d (over an arbitrary field) can be generated by L 3 d] elements. If a finite linear group G of dimension d is not completely reducible, then its characteristic is a prime, p say, and the factor group of G modulo the largest normal p-subgroup O.p(G) may be viewed as a completely reducible linear group acting on the...

متن کامل

Generating Bsplib-c Code from Logs Specifications

This paper introduces a tool that automatically translates a concrete form of specifications into C code linked with BSPlib. A Logs specification for Bulk-Synchronous Parallelism is a relation of an initial state, a final state and some intermediate states. Nondeterminism and parallelism correspond to disjunction and conjunction respectively. Various advanced specification commands can be deriv...

متن کامل

Automatically Generating Summary Visualizations from Game Logs

In this paper we describe a system called ViGLS (Visualization of Game Log Summaries) that generates summaries of gameplay sessions from game logs. ViGLS automatically produces visualization of the summarized actions that are extracted based on cognitive models of summarization. ViGLS is implemented using a serviceoriented architecture, de-coupling the summarization methods from any particular ...

متن کامل

Toward Obtaining Event Logs from Legacy Code

Information systems are ageing over time and become legacy information systems which often embed business knowledge that is not present in any other artifact. This embedded knowledge must be preserved to align the modernized versions of the legacy systems with the current business processes of an organization. Process mining is a powerful tool to discover and preserve business knowledge. Most p...

متن کامل

ALOG: A spreadsheet-based program for generating artificial logs

esearchers in the Department of Industrial and Manufacturing Systems Engineering at the University of Missouri-Columbia, in collaboration with the Southern Research Station of the USDA Forest Service, recently developed a hardwood log sawing simulator for use by the hardwood sawmill industry. LogCast (Log Computer Aided Sawyer Trainer) was designed to be used as a training tool for sawyers in p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM SIGPLAN Notices

سال: 2011

ISSN: 0362-1340,1558-1160

DOI: 10.1145/1993316.1993528